1

Dependent vector types for data structuring in multirate Faust

Année:
2011
Langue:
english
Fichier:
PDF, 461 KB
english, 2011
2

Synchronous programming in audio processing

Année:
2013
Langue:
english
Fichier:
PDF, 504 KB
english, 2013
4

Semantic file systems

Année:
1991
Langue:
english
Fichier:
PDF, 1.01 MB
english, 1991
5

Polymorphic type, region and effect inference

Année:
1992
Langue:
english
Fichier:
PDF, 1.15 MB
english, 1992
7

Advances in optical thermometry for the ITER divertor

Année:
2010
Langue:
english
Fichier:
PDF, 779 KB
english, 2010
9

The Type and Effect Discipline

Année:
1994
Fichier:
PDF, 1.83 MB
1994
12

Textual Entailment by Generality

Année:
2011
Langue:
english
Fichier:
PDF, 561 KB
english, 2011
22

Reasoning about continuations with control effects

Année:
1989
Langue:
english
Fichier:
PDF, 917 KB
english, 1989